The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The results of Zarzycki for the cardinality of the sets of all bijections, surjections, and injections are generalized to the case when the domains and codomains are infinite and different. The elementary proofs the cardinality of the sets of bijections and surjections are given within the framework of the Zermelo-Fraenkel set theory with the axiom of choice. The case of the set of all injections...
Teoria pola po raz pierwszy została opisana w pracy Chou, Gao, Zhang w 1994 roku. W kolejnej pracy (Janicic, Narboux, Quaresma 2012) zaprezentowano nowy system aksjomatów teorii pola i program przeznaczony do automatycznego dowodzenia twierdzen. W artykule chcemy przedstawić interpretację teorii pola w geometrii analitycznej na płaszczyznie kartezjanskiej R×R z porządkiem leksykograficznym. Również...
We discuss the role of a heuristic principle known as the Principle of Permanence of Forms in the development of mathematics, especially in abstract algebra. We try to find some analogies in the development of modern formal logic. Finally, we add a few remarks on the use of the principle in question in mathematical education.
In this paper we explore different ways of solving quadratic equations. Our main goal is to review traditional textbooks methods and offer an alternative, often side-stepped method based on the area model. We conclude that whereas traditional methods offer effective algorithms that quickly lead to the desired results, alternative methods may enhance meaningful and joyful learning.
In this paper we present three aspects of the autonomy of geometry. (1) An argument for the geometric as opposed to the ‘geometric algebraic’ interpretation of Euclid’s Books I and II; (2) Hilbert’s successful project to axiomatize Euclid’s geometry in a first order geometric language, notably eliminating the dependence on the Archimedean axiom; (3) the independent conception of multiplication from...
The paper presents, among others, the golden number as the limit of the quotient of neighboring terms of the Fibonacci and Fibonacci type sequence by means of a fixed point of a mapping of a certain interval with the help of Edelstein's theorem. To demonstrate the equality , where is $n$-th Fibonacci number also the formula from Corollary \ref{cor1} has been applied. It was obtained using...
In this study, it was aimed to investigate the beliefs of mathematics teachers about mathematics instruction and their teaching self-efficacy within the scope of flow theory. Participants consists of a total of 228 mathematics teachers engaged in teaching at secondary and high school levels in Turkey; they were determined using the combinations of convenience and purposive sampling. Data from the...
In this article, I analyze the theoretical foundations of the division with remainder in the arithmetic of natural numbers. As a result of this analysis I justify that the notation a:b=c r s, where a, b, c, s are natural numbers and r denotes, is correct at school mathematics level and does not lead to a contrediction suggested by the author of the article (Semadeni, 1978). As a generalization of...
Algorithms and algorithmic thinking are key topics in STEM Education. By using algorithms approximate solutions can be obtained for analytical unsolvable problems. Before new methods can be safely applied they have to be thoroughly tested in experiments. In this article we present a series of exercise where students can experiment with algorithms and test them using GeoGebra or the TI-Nspire. Based...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.